1141. <The> Fifth Conference on Artificial Intelligence Applications: Omni Computer Society
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Artificial intelligence - Congresses,، Expert systems )Computer science( - Congresses,، Reasoning - Congresses,، Knowledge, Theory of - Congresses,، Robotics - Congresses
رده :
Q
334
.
C66
1989
1142. The Formal Complexity of Natural Language
پدیدآورنده : edited by Walter J. Savitch, Emmon Bach, William Marsh, Gila Safran-Naveh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
1143. The Locales Framework :
پدیدآورنده : by Geraldine Fitzpatrick.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
1144. The Next Generation of Information Systems:
پدیدآورنده : edited by Michael P. Papazoglou, John Zeleznikow.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Database management.
1145. The PACE system :
پدیدآورنده : Steven Evans.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence -- Medical applications -- Research -- Case studies.,Expert systems (Computer science) -- Research -- Case studies.,Nursing -- Data processing -- Research -- Case studies.
رده :
RT50
.
5
S748
1997
1146. The Parametric Lambda Calculus :
پدیدآورنده : by Simona Ronchi Della Rocca, Luca Paolini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
QA9
.
5
B975
2004
1147. The Semantic Web
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science. ; Artificial intelligence. ; Bioinformatics. ; Information storage and retrieval systems. ; Computer Science, general. ;
1148. The State of the Art in Computational Intelligence :
پدیدآورنده : edited by Peter Sinčák, Ján Vaščák, Vladimír Kvasnička, Radko Mesiar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Management information systems.
1149. The State of the Art in Computational Intelligence :
پدیدآورنده : edited by Peter Sinčák, Ján Vaščák, Vladimír Kvasnička, Radko Mesiar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Management information systems.
رده :
QA76
.
9
.
S63
E358
2000
1150. The Universal Turing Machine A Half-Century Survey
پدیدآورنده : edited by Rolf Herken.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Mathematics.
1151. The expert executive: using AI and expert systems for financial management, marketing, production, and strategy
پدیدآورنده : Hertz, David Bendel
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Business-- Data processing,، Management-- Data processing,، Artificial intelligence,، Expert systems )Computer science(
رده :
HF
5548
.
2
.
H455
1988
1152. The harmonic mind : from neural computation to optimality-theoretic grammar
پدیدآورنده : Smolensky, Paul
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Neural networks )Computer science(,، Natural language processing )Computer science(,، Artificial intelligence
رده :
QA
76
.
87
.
S623
2006
1153. The harmonic mind: from neural computation to optimality-theoretic grammar
پدیدآورنده : Paul Smolensky and Geraldine Legendre
کتابخانه: کتابخانه موسسه روانشناسی و علوم تربیتی دانشگاه تهران (شهید دقایقی) (تهران)
موضوع : Neural networks (Computer Science),Natural language processing (Computer Science),Artificial intelligence
1154. The logic of information structures
پدیدآورنده : Wansing, Heinrich T.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
681
1155. The logic of information structures
پدیدآورنده : Wansing, Heinrich
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
W235
1993
1156. The proceeding of the 11 international csi(computer society of iran) computer conference
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Computer vision,Information storage and retrieval systems,Computer science,Artificial intelligence
رده :
QA
،
75
.
5
،.
I5485
،
2006
1157. The proceedings of the 11th International CSI )Computer Society of Iran( Computer Conference, CSICC'2006, 24-26 January 2006, School of Computer Science, Institute for Studies in Theoretical Physics and Mathematics )IPM(, Tehran, Iran
پدیدآورنده :
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science,، Computer architecture,، Artificial intelligence,، Software engineering
رده :
QA
76
.
I572
2006
1158. The subtlety of sameness :
پدیدآورنده : Robert M. French.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Analogy.,Artificial intelligence.,Analogie.,Analogy.,Artificial intelligence.,Computer Science.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Engineering & Applied Sciences.,Kunstmatige intelligentie.
رده :
Q335
.
F738
1995eb
1159. Theoretical Foundations of Computer Vision
پدیدآورنده : edited by W. Kropatsch, R. Klette, F. Solina, R. Albrecht.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer vision.
رده :
TA1634
.
E358
1996
1160. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63